A Specification and Validating Parser for Simplified Technical Spanish Thesis submitted to the University of Limerick for the degree of M.Sc. in Software Localisation

Source URL: www.csis.ul.ie

• Technology
• Linguistics
• Controlled natural language
• Formal language
• Basic English
• Parsing
• Space Shuttle
• Technical communication
• Simplified English
• Combinatorics

Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval

Source URL: schemeworkshop.org

• Formal languages
• Computing
• Automata theory
• Models of computation
• Parsing
• Lexical analysis
• Context-free grammar
• Parse tree
• Regular expression
• Programming language implementation
• Software engineering
• Compiler construction

Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK

Source URL: www.cognitionresearch.org

• Computing
• Parsing
• Formal grammar
• Syntax
• Pattern matching
• Sequence alignment
• CYK algorithm
• Formal languages
• Software engineering
• Computer programming

This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp

Source URL: www.cs.utah.edu

• Science
• Formal sciences
• Compiler construction
• Mathematical logic
• Proof theory
• Isabelle
• Compiler
• Mathematical proof
• Model checking
• Logic
• Mathematics
• Programming language implementation

Errata This document contains errata for Formal Language: A Practical Introduction by Adam Brooks Webber, published in 2008 by Franklin, Beedle & Associates, Inc. These corrections represent all errors known to the autho

Source URL: webber-labs.com

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe |

Source URL: welf.se

• Programming language implementation
• Software engineering
• Parsing
• XML
• LL parser
• LR parser
• Document Type Definition
• Context-free grammar
• Deterministic context-free grammar
• Formal languages
• Computing
• Compiler construction

FoCaLiZe Reference ManualOctober 2014

Source URL: focalize.inria.fr

• Cross-platform software
• Procedural programming languages
• Coq
• Compiler
• OCaml
• Programming language
• Formal methods
• C
• Logic programming
• Software
• Computing
• Functional languages

On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively

Source URL: alpha.uhasselt.be

• Theoretical computer science
• Model theory
• Automata theory
• Regular language
• Presburger arithmetic
• Structure
• Decision problem
• Mathematics
• Mathematical logic
• Formal languages

CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics

Source URL: www.mimuw.edu.pl

• Computer science
• International Colloquium on Automata
• Languages and Programming
• Symposium on Theoretical Aspects of Computer Science
• Tree automaton
• Finite-state machine
• Formal language
• Hierarchy
• Automata theory
• Theoretical computer science
• Applied mathematics